|
|
Use of Heuristics for Password Recovery with GPU Acceleration
Gazdík, Peter ; Holkovič, Martin (referee) ; Hranický, Radek (advisor)
This thesis discusses various techniques to enhance the password recovery process with GPU acceleration. The first part introduces a Markov model and simple regular expressions. These techniques dramatically reduce the password space to be searched. This is based on observations of users and their use of letters in passwords. We propose the design of a parallel algorithm that combines both techniques. Last part of the thesis contains the results of experiments to prove benefits of Markov model.
|
|
|
Construction of Reliability Models for Advanced Digital Systems
Wanka, Mario ; Drábek, Vladimír (referee) ; Kaštil, Jan (advisor)
The goal of this thesis is to simulate the impact of reliability of circuits designed to detect failures in components of advanced digital systems. At first the reliability and terms related are defined and Markov models are itroduced. These are used as logic for simulator, which is introduced in next chapter. This simulator is an ad-hoc solution and it's usage is thoughly described, as well as it's bahviour in various situations and configurations. In the end the results of experiments with reliability of circuits designed to detect failures for multiple models are shown and discussed. By the results of this thesis it is obvious, that the crutial factor for system's reliability ensurance is failure disguis in short-term view and repairing ability in long-term view.
|
|
|
Construction of Reliability Models for Advanced Digital Systems
Trávníček, Jan ; Drábek, Vladimír (referee) ; Kaštil, Jan (advisor)
This thesis deals with the systems reliability. At First, there is discussed the concept of reliability itself and its indicators, which can specifically express reliability. The second chapter describes the different kinds of reliability models for simple and complex systems. It further describes the basic methods for construction of reliability models. The fourth chapter is devoted to a very important Markov models. Markov models are very powerful and complex model for calculating the reliability of advanced systems. Their suitability is explained here for recovered systems, which may contain absorption states. The next chapter describes the standby redundancy. Discusses the advantages and disadvantages of static, dynamic and hybrid standby. There is described the influence of different load levels on the service life. The sixth chapter is devoted to the implementation, description of the application and description of the input file in XML format. There are discussed the results obtaining in experimental calculations.
|
|
|
Health technology assessment od digital diabetes therapeutics
Klásek, Jan ; Votápková, Jana (advisor) ; Bertoli, Paola (referee)
The prevalence of Type 2 diabetes mellitus is increasing all around the world. This chronic disease leads to a decrease in quality of life and brings a significant financial burden to the national health systems. While diabetes not being completely reversible, it can be well controlled by introducing and maintaining healthy living habits. Nowadays, such intervention can be deliv- ered through digital devices with less medical staff time needed. This thesis investigates the cost-effectiveness of the lifestyle intervention delivered by a mobile application on a German study sample of 42 patients. The analysis is performed using a discrete-time Markov chain for the different lifetimes of the model. The robustness of the results is checked using both deterministic and probabilistic sensitivity analysis. Results suggest that digital intervention can be considered cost-effective in both the short and long-term compared to the current standards of care. 1
|
|
|
Is women's vaccination against HPV in the Czech Republic cost-effective?
Lušková, Martina ; Šlegerová, Lenka (advisor) ; Bryndová, Lucie (referee)
Is women's vaccination against HPV in the Czech Republic cost-effective? Bachelor's Thesis Author of the Thesis: Martina Lušková Abstract This thesis approaches the cost-effectiveness of women's vaccination against human papillomaviruses (HPV) in the Czech Republic. HPV is a pathogen responsible for the majority of diagnosed cervical carcinomas. The aim is to assess the current reimbursement setting of HPV vaccination compared to the designed change. In order to increase the vaccination coverage and subsequently decrease the future treatment costs, two strategies were proposed. A homogenous multistate Markov model is developed to model the transition among states representing the stages of progression of the cervical carcinoma. Transition analysis is performed based on the data collected for the purpose of healthcare reimbursement under public health insurance. The incremental cost-effectiveness ratio suggests that increased immunization coverage (from 65.8% to 80%) fuelled by the campaign promoting vaccination seems to be cost-effective assuming the threshold of 1.2 million CZK per one quality-adjusted life year. The strategy promoting the vaccination together with extending the age (from thirteen-year-olds by cohorts of fourteen- and fifteen-year-olds) at which vaccination is reimbursed delivers analogous...
|
|
|
Use of Heuristics for Password Recovery with GPU Acceleration
Gazdík, Peter ; Holkovič, Martin (referee) ; Hranický, Radek (advisor)
This thesis discusses various techniques to enhance the password recovery process with GPU acceleration. The first part introduces a Markov model and simple regular expressions. These techniques dramatically reduce the password space to be searched. This is based on observations of users and their use of letters in passwords. We propose the design of a parallel algorithm that combines both techniques. Last part of the thesis contains the results of experiments to prove benefits of Markov model.
|
|
|
Construction of Reliability Models for Advanced Digital Systems
Trávníček, Jan ; Drábek, Vladimír (referee) ; Kaštil, Jan (advisor)
This thesis deals with the systems reliability. At First, there is discussed the concept of reliability itself and its indicators, which can specifically express reliability. The second chapter describes the different kinds of reliability models for simple and complex systems. It further describes the basic methods for construction of reliability models. The fourth chapter is devoted to a very important Markov models. Markov models are very powerful and complex model for calculating the reliability of advanced systems. Their suitability is explained here for recovered systems, which may contain absorption states. The next chapter describes the standby redundancy. Discusses the advantages and disadvantages of static, dynamic and hybrid standby. There is described the influence of different load levels on the service life. The sixth chapter is devoted to the implementation, description of the application and description of the input file in XML format. There are discussed the results obtaining in experimental calculations.
|
|
|
Construction of Reliability Models for Advanced Digital Systems
Wanka, Mario ; Drábek, Vladimír (referee) ; Kaštil, Jan (advisor)
The goal of this thesis is to simulate the impact of reliability of circuits designed to detect failures in components of advanced digital systems. At first the reliability and terms related are defined and Markov models are itroduced. These are used as logic for simulator, which is introduced in next chapter. This simulator is an ad-hoc solution and it's usage is thoughly described, as well as it's bahviour in various situations and configurations. In the end the results of experiments with reliability of circuits designed to detect failures for multiple models are shown and discussed. By the results of this thesis it is obvious, that the crutial factor for system's reliability ensurance is failure disguis in short-term view and repairing ability in long-term view.
|
|
|
Survival Analysis in R
Pásztor, Bálint ; Malá, Ivana (advisor) ; Čabla, Adam (referee)
Survival analysis is a statistical discipline that analyzes the time to occurrence of certain events. The aim of this thesis is to describe the possibilities of survival analysis in the environment of statistical software R. Theoretical knowledge is applied to real data, parametric and nonparametric estimates of survival functions are evaluated by different methods and compared with each other. In the section focusing on nonparametric models Kaplan-Meier and Nelson-Aalen functions are described. Among the parametric estimates there were included well-known probability distributions, survival functions and risk functions derived from these distributions are presented and there is discussed their usefulness in survival analysis. Another aim is to show the possibility of deriving transition probabilities from estimates and building a Markov chain model to capture the changes of studied cohort over time. The second part of the work contains a description of the applications of the theory of survival analysis. In this section there are shown possibilities of statistical modeling in the field of survival analysis using the software R. Outputs from R were used to create Markov model. There are presented possibilities of pharmacoeconomic models and description of the basic concepts of HTA. Cost-effectiveness calculations using ICER were conducted in accordance with the methodology of SUKL. It was shown that the statistical modelling of survival plays an important role in the evaluation of the cost-effectiveness of medicines.
|
|
|
Cost-effectiveness analysis of sequential therapy of depression
Šóš, Peter ; Lešetický, Ondřej (advisor) ; Novák, Tomáš (referee)
Applying pharmacoeconomic methods were compared two selected treatments of depressive disorder. Markov model was created to evaluate cost-effectiveness of the two strategies. Knowledge from the clinical practice and the clinical research findings of the author are linked with pharmacoeconomic techniques into a multidisciplinary complex. The proposed sequential therapy uses a prediction of antidepressant response by utilizing of recent quantitative electroencephalography methods. Sequential therapy is more cost-effective compared with the conventional therapeutic strategy according to clinical guidelines. The results and limitations of the study are discussed at the conclusion from clinical and economic perspective.
|
guest ::
